Petri net based process scheduling: A model of the control system of flexible manufacturing systems

In this paper, we propose a class of algorithms for the sub-optimal solution of a particular class of problems of process scheduling, particularly focusing on a case study in the area of flexible manufacturing systems (FMSs). The general class of problems we face in our approach is characterized as follows: there is a set of concurrent processes, each formed by a number of temporally related tasks (segments). Tasks are executable by alternate resource sets, different both in performance and costs. Processes and tasks are characterized by release times, due dates, and deadlines. Time constraints are also present in the availability of each resource in resource sets. It has been proven that such a problem does not admit an algorithm for an optimal solution in polynomial time. Our proposed algorithm finds a sub-optimal schedule according to a set of optimization criteria, based on task and process times (earliness, tardiness), and/or time independent costs of resources. Our approach to process scheduling is based on Timed Coloured Petri Nets. We describe the structure of the coordination and scheduling algorithms, concentrating on (i) the general-purpose component, and (ii) the application-dependent component. In particular, the paper focuses on the following issues: (i) theautomatic synthesis of Petri net models of the coordination subsystem, starting from the problem knowledge base; (ii) the dynamic behavior of the coordination subsystem, whose kernel is a High Level Petri net executor, a coordination process based on an original, general purpose algorithm; (iii) the structure of the real-time scheduling subsystem, based on particular heuristic sub-optimal multi-criteria algorithms. Furthermore, the paper defines the interaction mechanisms between the coordination and scheduling subsystems. Our approach clearly distinguishes the mechanism of the net execution from the decision support system. Two conceptually distinct levels, which correspond to two different, interacting implementation modules in the prototype CASE tool, have been defined: theexecutor and thescheduler levels. One of the outstanding differences between these levels is that the executor is conceived as a fast, efficient coordination process, without special-purpose problem-solving capabilities in case of conflicts. The scheduler, on the other hand, is the adaptive, distributed component, whose behavior may heavily depend on the problem class. If the scheduler fails, the executor is, in any case, able to proceed with a general-purpose conflict resolution strategy. Experimental results on the real-time performance of the kernel of the implemented system are finally shown in the paper. The approach described in this paper is at the basis of a joint project with industrial partners for the development of a CASE tool for the simulation of blast furnaces.     

User modeling in an OAM support system

This paper outlines studies relative to a research project on the development of a system that permits different people of an enterprise, with different roles and experience, to gain an adequate and personalized vision of the real status of the network and managed systems. What has been achieved is an easy to handle system, which permits quick and simple queries without utilizing complex man machine languages, and tailors personalized answers on the basis of the characteristics of the user. To achieve these results, User Modeling aspects have been considered and pursued.     

Power Dissipation in Spintronic Devices Out of Thermodynamic Equilibrium

Quantum limits of power dissipation in spintronic computing are estimated. A computing element composed of a single electron in a quantum dot is considered. Dynamics of its spin due to external magnetic field and interaction with adjacent dots are described via the Bloch equations. Spin relaxation due to magnetic noise from various sources is described as coupling to a reservoir. Resulting dissipation of energy is calculated and is shown to be much less than the thermal limit, ∼kT per bit, if the rate of spin relaxation is much slower than the switching rate. Clues on how to engineer an energy efficient spintronic device are provided.     

Hydrocarbon exploration risk evaluation through uncertainty and sensitivity analyses techniques

The evaluation of the exploration risk in the oil industry is a fundamental component of the decision process related to the exploratory phase. In this paper the two basic components of the exploratory risk: trap geometry and trapped hydrocarbon quantities (fluid), are compounded in a single coherent uncertainty and sensitivity approach. The results clarify that the model geometry influences each Petroleum System Modeling step and that the geometric uncertainty is correlated with the fluid uncertainty. The geometric uncertainty evaluation makes use of geostatistical techniques that produce a number of possible realizations of the trap geometry, all compatible with available data. The evaluation of the fluid uncertainty, through a Monte Carlo methodology, allows us to compute the possible quantities of oil and gas, generated in a basin and migrated from the hydrocarbon source location to each single trap. The final result is the probability distribution of oil and gas for each trap in the basin, together with other useful indicators like: the hydrocarbon filling probability map, the closure probability map, the drainage area probability map, the spilling paths probabilities, the trap-filling scenarios.     

Integrated development of CFRP structures for a topless high performance vehicle

When modern saloon cars are re-engineered as convertibles (or roadsters) it is typical for them to lose 50% or more of the body’s torsional rigidity. Consequently the vehicles rarely handle quite as crisply, nor do they ride as well as the coupes from which they derived. This paper highlights the fundamental contributions of advanced composites in achieving the desired value of handling of the Murcièlago Roadster without penalizing the overall weight of the vehicle. To compensate for the absence of the roof structure, the vehicle was strongly redesigned by introducing new structural members and reinforcing existing critical components. A new all-carbon/epoxy composite sub-frame, which spans the entire engine bay, is comprised of elliptical tubular members, and it is the first of its kind in a production vehicle. Engineering of the sub-frame, from preliminary design to manufacturing decisions, is the focus of this paper, and is achieved through a Building Block approach that sets the program within the Integrated Product Development (IPD) strategy that the Advanced Composites Division of Automobili Lamborghini S.p.A. employs for its technology demonstrators. The strategy consists in a concurrent analytical and experimental development of the product, from the initial conceptual design and coupon testing, through the stages of element and subcomponent engineering, to final component manufacturing.     

Cerebral dominance and asynchrony between bimanual two-dimensional movements.

The asynchrony of bimanual movements was investigated. Right- and left-handers traced simple geometrical patterns (ellipses) continuously with both hands. All combinations of the direction of rotation in each hand were executed at different rhythms. Geometrically, performances were largely independent of manual dominance. However, by comparing the passage times at homologous positions, the authors found that the dominant hand led the nondominant one by about 25 msec. The asynchrony was affected by neither movement type nor rhythm. The variability of the asynchrony varied along the trajectory, with well-defined maxima and minima. The variability profiles for movements that engaged homologous muscles differed markedly from those that engaged nonhomologous muscles. The authors discuss the hypotheses that bimanual periodic movements are timed by a lateralized functional module and that asynchrony is due to the necessity of transmitting time-keeping information to the other hemisphere. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Toward automatic phenotyping of developing embryos from videos.

We describe a trainable system for analyzing videos of developing C. elegans embryos. The system automatically detects, segments, and locates cells and nuclei in microscopic images. The system was designed as the central component of a fully automated phenotyping system. The system contains three modules 1) a convolutional network trained to classify each pixel into five categories: cell wall, cytoplasm, nucleus membrane, nucleus, outside medium; 2) an energy-based model, which cleans up the output of the convolutional network by learning local consistency constraints that must be satisfied by label images; 3) a set of elastic models of the embryo at various stages of development that are matched to the label images.     

Algorithms for multiprocessor scheduling with two job lengths and allocation restrictions

A variant of the High Multiplicity Multiprocessor Scheduling Problem with C job lengths is considered, in which jobs can be processed only by machines not greater than a given index. When C=2, polynomial algorithms are proposed, for the feasibility version of the problem and for maximizing the number of scheduled jobs.